نتایج جستجو برای: قضیۀ بولتسانو-وایرشتراس

تعداد نتایج: 100  

توپولوژی عمومی ریشه در آنالیز حقیقی و مختلط دارد، یعنی جایی که در آن از مفاهیم درهم تنیدۀ مجموعۀ باز، مجموعۀ بسته و نقطۀ حدی استفاده هایی مهم شده است. در این مقاله، به بررسی چگونگی پیدایش و تکامل این سه مفهوم در اواخر قرن نوزدهم و اوایل توپولوژی عمومی ریشه در آنالیز حقیقی و مختلط دارد،  در این مقاله، به بررسی چگونگی پیدایش و تکامل این سه مفهوم در اواخر قرن نوزدهم و اوایل قرن بیستم می پردازیم که...

ژورنال: :آینه معرفت 0
اسداله فلاحی داﻧﺸﮕﺎه زﻧﺠﺎن

تقسیم قضایا به حقیقیه و خارجیه از نوآوری های منطق دانان مسلمان پس از ابن سینا مانند فخر رازی و شاگردانش، افضلالدین خونجی و اثیرالدین ابهری است که متناظر با تقسیم های فیلسوفان غربی از قبیل تقسیم به ضروری و اتفاقی (توسط ارسطو)، تقسیم به تحلیلی و ترکیبی و تقسیم به پیشینی و پسینی (توسط هیوم و کانت) است و نوع نگاه منطق دانان مسلمان به این تقسیم ها را باز می نماید. این تقسیم، در ابتدا، مورد مناقشۀ من...

ژورنال: تاریخ علم 2014

حاشیة المقالة العاشرة من أصول الهندسة والحساب عنوان رساله‌ای از محمدکاظم بن رضا طبری (13ق) است که بنا به گفتۀ مؤلف در ابتدای رساله، در واقع تعلیقه‌ای بر شرح محمدباقر یزدی (زنده در 1047ق) بر مقالۀ دهم اصول اقلیدس است. محمدباقر یزدی در شرح خود بر مقالۀ دهم اصول اقلیدس با عنوان شرح المقالة العاشرة من أصول أقلیدس از 109 قضیۀ مقالۀ دهم، 67 قضیۀ آن را شرح می‌دهد و ضمن توضیح بسیاری از برهان‌های اقلیدس...

قضیه بزو حاکی از این است که تحت شرایط مناسب، تعداد نقاط تلاقی دو خم مسطح که توسط دو معادله چندجمله ای توصیف می شوند، با حاصل ضرب درجه های آن دو چندجمله ای برابر است. در این مقاله به شرح این قضیه و بیان برخی از کاربردهای جالب آن می پردازیم.

کتاب تاریخ فلسفه تحلیلی: از بولتسانو تا ویتگنشتاین،  متضمن بحث تحلیلی در باب مهمترین عناصر اندیشه فیلسوفان تحلیلی در نیمه نخست قرن بیستم است. در این کتاب نویسنده کوشیده است اندیشه­های فیلسوفان تحلیلی را در قالب یک سنت فلسفی بررسی و تحلیل کند چنانکه پیوند میان اندیشه­های ایشان قابل ردگیری باشد.  وی پس از بحث در باب زمینه­های پیدایش فلسفه تحلیلی، به ترتیب آراء بولتسانو، فرگه، راسل، ویتگن...

ژورنال: :حکمت و فلسفه 0
محمد صالح زارع پور دانشجوی دانشگاه تربیت مدرس محمدعلی حجتی هیئت علمی دانشگاه تربیت مدرس

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

اجرای اصل مشارکت عمومی در داوری‌های مربوط به اختلافات نفتی، مستلزم این است که اشخاص یا گروه‌هایی از عموم مردم که طرف داوری نیستند، بتوانند از طریق تقدیم لایحۀ کتبی، دسترسی به اسناد مهم داوری و حضور در جلسۀ رسیدگی، در جریان داوری مشارکت داشته باشند. قواعد داوری سرمایه‌گذاری طی اصلاحات اخیر و معاهدات دوجانبۀ سرمایه‌گذاری در نسل جدید خود به سوی اجرای این اصل گام برداشته‌اند. مقالۀ پیش رو، به دنبال...

ژورنال: :پژوهش های ریاضی 0
اژدر سلیمان پور باکفایت a soleymanpour bakefayat department of mathematical sciences, payame noor university, iranدانشگاه پیام نور، گروه ریاضی، ایران نادر دسترنج n dastranj department of mathematical sciences, payame noor university, iranدانشگاه پیام نور، گروه ریاضی، ایران

قضیۀ زوبوف یکی از قضایایی است که برای پایداری یک دستگاه غیرخطی با دامنه ربایش معلوم شرایطی را   بیان می کند. از شبکه های عصبی استفاده کرده و با آن ها، تعدادی از توابع موجود در قضیۀ زوبوف را تقریب می زنیم، بدین ترتیب کنترل کنندۀ یک دستگاه کنترل غیرخطی، که به لحاظ ریاضی یافتن ضابطۀ کنترل آن آسان نیست، به دست می آید. در این تحقیق دو استراتژی مختلف را به کار می گیریم و نهایتاً تأثیر و قابلیت روش های...

ژورنال: :مجله حقوقی دادگستری 2013
امیرحسین ملکی زاده

اتخاذ رویه های گوناگون از سوی مراجع قضایی بین المللی در زمینۀ ضابطه کنترل، نشان از تعارض رویۀ قضایی بین المللی در این موضوع است. موضوع کنترل در رویۀ دیوان بین المللی دادگستری در قضیۀ نیکاراگوا، به صراحت مطرح شده است. دیوان در این قضیه، معیارهای مربوط به کنترل را مورد بررسی قرار داد. در قضیۀ نسل زدایی، دیوان مجدداً به این موضوع پرداخت؛ در حالی­که دادگاه کیفری بین المللی یوگسلاوی سابق به شیوه­ای م...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید